automating consistency checking中文什么意思

自动连续性核对

• automate:    vt. 1.使(工厂、工序等)自动化 ...
• consistency:    n. 1.无矛盾，相容(性)；始终一 ...
• check:    n. 1.(象棋)将军(!)，被将军 ...

例句与用法

1. 15 heitmeyer c l , jeffords r d , labaw b g . automated consistency checking of requirements specification . acm trans . software engineering and methodology , july 1996 , 5 : 231 - 261
   具体来说就是，提出软件需求可以由想要的软件将处于的环境，期望中的该软件将与环境发生的交互，以及这些交互之间的因果关系来刻画。